how does a solenoid valve work